concept example 1 state the assumption for starting an indirect proof published presentations and documents on DocSlides.